Search Results
[CPP'23] Formalising Decentralised Exchanges in Coq
CPP'2021 - Short presentation: Extracting Smart Contracts Tested and Verified in Coq
ConCert: A Smart Contract Certification Framework in Coq.
CPP 2021 Lightning Talks: Monday, Jan 18, 8pm
Nomadic Labs Research Seminars #23 | ConCert, a framework for smart contract verification in Coq
ML 2021 - Code Extraction from Coq to ML-like languages
Panel Debate 3: From Blockchain Infrastructure to Decentralised Applications
Correct Code by Construction by Walter Schulze & Paul Cadman
Correct-by-Construction Cryptographic Arithmetic in Coq - Adam Chlipala | Lambda Days 2021
Sollicitatiegesprek 1 Bas Spitters
NEO DevCon 2019 DAY 1 Live Streaming 2019/02/16
[ICFP'23] Grand Ballroom 2
![[CPP'23] Formalising Decentralised Exchanges in Coq](https://img.youtube.com/vi/3POvlkMjHnI/hqdefault.jpg)
![[ICFP'23] Grand Ballroom 2](https://img.youtube.com/vi/bjJU1vP1vVI/hqdefault.jpg)